Monoidal t-norm logic
THE LOGIC OF LEFT-CONTINUOUS T-NORMS
MTL (logic); Monoidal t-norm based logic
In mathematical logic, monoidal t-norm based logic (or shortly MTL), the logic of left-continuous t-norms, is one of the t-norm fuzzy logics. It belongs to the broader class of substructural logics, or logics of residuated lattices;Ono (2003).